module Device

open Map
open Time

abstract sig Device {
    show: Location -> Time
}
